Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
531	Submitted to Sci. Math. Japonicae 1 Limiting rst order realizability interpretation Masahiro Nakata and Susumu Hayashi Add to Reading List Source URL: www.shayashi.jp Language: English - Date: 2008-10-02 07:57:24 Theory of computation Computability theory Function Integral calculus Primitive recursive function Fundamental theorem of calculus Mathematics Mathematical analysis Functions and mappings
532	ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reﬂection and the Hierarchy of C(n) cardinals We introduce ﬁrst a new kind of reﬂection principle for the universe of all sets: Add to Reading List Source URL: ali.cmi.ac.in Language: English - Date: 2010-08-13 05:01:47 Forcing Boolean algebra Order theory Topology Descriptive set theory Borel set Model theory Set theory Interior algebra Mathematical logic Mathematics Logic
533	technische universiteit eindhoven 2IL05 Data Structures Exam Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-04-13 05:28:53 Theoretical computer science Search algorithms Analysis of algorithms Binary search tree Merge sort Algorithm Insertion sort Hash table Time complexity Mathematics Order theory Sorting algorithms
534	An Ascending Double Auction Michael Peters and Sergei Severinov∗ First Version: March, This version: JanuaryAbstract We show why the failure of the affiliation assumption prevents the double Add to Reading List Source URL: microeconomics.ca Language: English - Date: 2013-09-24 23:56:13 Commerce Game theory Auction Futures contract Double auction Bidding Order Uniform price auction Vickrey auction Auctioneering Business Auction theory
535	The University of Calgary Department of Philosophy Philosophy 279 L01/L02 LOGIC I Fall 2009 — Richard Zach Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:36:14 Education Valuation First-order logic Homework Interpretation Tutorial Logic Model theory Mathematical logic
536	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
537	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
538	Zero-order ray-theory Green tensor in a heterogeneous anisotropic medium Ludˇek Klimeˇs Department of Geophysics Faculty of Mathematics and Physics Charles University in Prague Add to Reading List Source URL: seis.karlov.mff.cuni.cz Language: English - Date: 2011-06-22 11:55:08 Heat equation Differential geometry Tensors Finite strain theory
539	Nonlinear and Stable Perturbation-Based Approximations Wouter J. Den Haan and Joris De Windy April 26, 2012 Abstract Users of regular higher-order perturbation approximations can face two problems: Add to Reading List Source URL: www.wouterdenhaan.com Language: English Mathematical physics Numerical analysis Functional analysis Perturbation theory Nonlinear system Approximation Mathematical analysis Physics Asymptotic analysis
540	Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:38 Category theory Structure Order theory Space Reflective subcategory Equivalence of categories Category of topological spaces Duality Complete Heyting algebra Mathematics Adjoint functors Abstract algebra

UPDATE